Computer-automated design

#	Item
81	PDF Document Add to Reading List Source URL: research.danlockton.co.uk Language: English - Date: 2010-06-07 20:03:01 Technology Humanâ€“computer interaction Usability Structure Systems psychology Persuasive technology Automated teller machine Interaction design User-centered design Human–computer interaction Technical communication Design
82	PDF Document Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2006-08-26 05:21:04 Mathematics Metalogic Logic in computer science Electronic design automation NP-complete problems Automated theorem proving Satisfiability Modulo Theories John Rushby Model checking Theoretical computer science Formal methods Logic